The Classical Notion of Competition Revisited

The Notion of Business Process Revisited

The notion of business process is becoming increasingly important in all business and information/communication technology related disciplines, and therefore gets a lot of attention. Consequently, there is a variety of definitions as well as a variety in preciseness of definition. The research reported in this paper aims at clarifying the different understandings and unifying them in a common c...

A notion of classical pure type system

Laryngeal vibratory mechanisms: the notion of vocal register revisited.

This study, focused on the laryngeal source level, introduces the concept of laryngeal vibratory mechanism. Human phonation is characterized by the use of four laryngeal mechanisms, labeled M0-M3, as evidenced by the electroglottographic (EGG) study of the transition phenomena between mechanisms with a population of men and women, trained and untrained singers. Macroscopic and local description...

The Notion of Floundering for SLDNF-Resolution Revisited

SLDNF-resolution is the standard operational semantics for normal programs. Its safeness condition induces a notion of oundering which may be considered as a programming error. But this notion of oundering seems too weak: a program and a goal may ounder despite the existence of an SLDNF-tree and, in such a case, one computation may ounder while another one may not. We propose a novel stronger n...

Hypercomputation: Towards an extension of the classical notion of Computability?

The purpose of this thesis is to make an analysis of the concept of Hypercomputation and of some hypermachines. This thesis is separated in three main parts. We start in the first chapter with an analysis of the concept of Classical Computability with the Turing Machine and the Church-Turing thesis as a main reference and afterwards, in the second chapter, we continue with an analysis of hyperc...